Direct Math Proof: If n is odd then 3n 7 is even